41. Discrete event simulation and simulation and operations research: proceedings of the European Simulation Multiconference, July 7-10, 1987, wirtschafts Universilat, Vienna, Austria
پدیدآورنده : edited by H. Adelsberger, F. Broeckx; organized by ASIM FA 4.5 ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer simulation - Congresses , Discrete-time systems - Congresses
رده :
QA
76
.
9
.
C65
E87
1987
42. Discrete event systems
پدیدآورنده : Editors S. Balemi, P. Kozak, R. Smedinga
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Automatic control- Congresses,Control theory- Congresses,Discrete- time systems- Congresses
رده :
TJ
،
212
.
2
،.
D568
،
1992
43. Discrete event systems : modeling and control : proceedings of a joint workshop held in Prague, August 1992
پدیدآورنده : S. Balemi, P. Kozak, R. Smedinga, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Automatic control - Congresses , Control theory - Congresses , Discrete-time systems - Congresses
رده :
TJ
212
.
2
.
D568
1992
44. Discrete event systems modeling and control : proceedings of a joint workshop held in Prague, August 1992
پدیدآورنده : editor: S. Balemi, P. Kozak, R. Smedinga
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automatic control- Congresses,، Control theory- Congresses,، Discrete-time systems- Congresses
رده :
TJ
212
.
2
.
D568
1993
45. Discrete event systems: models and applicatios, IIASA Conference, Sopron, Hungary, August 3-7, 1987
پدیدآورنده : P. Varaiya, A.B. Kurzhanski, )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical models - Congresses ، Adaptive control systems,Congresses ، Discrete-time systems
رده :
TJ
217
.
I36
1987
46. Distributed databases in real-time control
پدیدآورنده : / edited by E. Knuth and M.G. Rodd
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع : Distributed data bases - Congresses,Real-time control - Congresses
رده :
QA
76
.
9
.
D3
D583
1990
47. Distributed databases in real-time control :
پدیدآورنده : edited by E. Knuth and M.G. Rodd
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distributed databases, Congresses,Real-time control, Congresses
48. #Distributed databases in real-time control
پدیدآورنده : #edited by E. Knuth and M.G. Rodd
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Distributed databases- Congresses ،Real-time control- Congresses
رده :
#
QA
،#.
D3
,
D583
49. Distributed databases in real-time control: : proceedings of the IFAC/IFIP Workshop, Budapest, Hungary, 16-18 October 1989
پدیدآورنده : edited by E. Knuth and M.G. Rodd
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Distributed databases- Congresses,، Real-time control- Congresses
رده :
QA
76
.
9
.
D3D583
1990
50. Enabling real-time business intelligence :
پدیدآورنده : Malu Castellanos, Umeshwar Dayal, Renée J. Miller (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Management information systems, Congresses.,Real-time data processing, Congresses.,Business.
رده :
HD30
.
213
.
B57
2010
51. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems: proceedings, November 18-20, 1999, Monterey, California, USA
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Computer networks,Congresses ، Electronic data processing-- Distributed processing,Congresses ، Object-oriented databases,Congresses ، Real-time data processing
رده :
QA
76
.
64
.
W67
1999
52. Flexible working and organisational change
پدیدآورنده : edited by Bram Peper, Anneke van Doorne-Huiskes, Laura den Dulk
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Work and family, Europe, Congresses,Organizational change, Europe, Congresses,Sexual division of labor, Europe, Congresses,Hours of labor, Europe, Congresses,Part-time employment, Europe, Congresses,Telecommuting, Europe, Congresses,Quality of work life, Europe, Congresses
53. Formal methods and hybrid real-time systems
پدیدآورنده : Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Bj▓rner, D., (Dines), 1937-,Chaochen, Zhou,Formal methods (Computer science), Congresses,Real-time data processing, Congresses
رده :
QA
،
76
.
9
،.
F67
,
F525
،
2007
54. Formal methods and hybrid real-time systems
پدیدآورنده : / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Bj�rner, D.--(Dines),--1937,Chaochen, Zhou.,Formal methods (Computer science)--Congresses,Real-time data processing--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F525
,
2007
55. Formal methods for real-time and probabilistic systems
پدیدآورنده : / edited by Joost-Pieter Katoen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal methods (Computer science)- Congresses,Real time data processing- Congresses
رده :
QA76
.
9
.
F67I577
1999
56. Formal methods for real-time and probabilistic systems
پدیدآورنده : Joost-Pieter Katoen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Real-time data processing, Congresses.
57. Formal methods for real-time and probabilistic systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Real-time data processing
رده :
QA
76
.
9
.
F67
.
I577
1999
58. Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
پدیدآورنده : Joost-Pieter Katoen )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Real-time data processing
رده :
QA
76
.
L28
Vol
.
1601
59. Formal methods for software architectures
پدیدآورنده : / Marco Bernardo, Paola Inverardi (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Real-time data processing--Congresses,Formal methods (Computer science)--Congresses,Computer systems--Congresses,Computer software--Congresses
رده :
QA
,
76
.
754
,.
F67
,
2003
60. Formal methods for software architectures :Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
پدیدآورنده : Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Real-time data processing,Congresses ، Formal methods )Computer science(,Congresses ، Computer systems,Congresses ، Computer software
رده :
QA
76
.
754
.
F67
2003
